%%% Assignment 2, extra credit %%% Out: Monday Sep 17 %%% Due: Monday Sep 24 Complete the proof of soundness of constructive propositional logic with respect to Kripke semantics, by structural induction on derivations, by doing the case of implication introduction. (10 points)