forall x: Calgary Remix: An Introduction to Formal Logic