forall x: Calgary: An Introduction to Formal Logic