Ritalin comments on Proofs, Implications, and Models

[Ritalin]

Er… can I get the cliff’s notes on the jargon here?