Text this: An Introduction to Formal Logic