Title: Pocket Guide to Formal Logic