Add List 3
Add definitions of connectives with forall and implication