modus ponens handout

and listing on the main page