%%% Assignment 3
%%% Out: Monday Sep 24
%%% Due: Monday Oct 1
%%%
%%% annotate the proofs from Assignment 1:
annotated proof a : (A & (B & C)) => (A & B);
annotated proof b : (A => B) => ((B => C) => (A => C));
annotated proof c : ((A => B) & (A | C)) => (B | C);
annotated proof d : (A => ~ A) => (~ A);
annotated proof e : (~ A & ~ B) => ~ (A | B);
annotated proof f : A <=> A;
annotated proof g : (A <=> T) <=> A;
annotated proof h : ((A & B) => C) <=> (A => (B => C));