Title: Simple Formal Logic