forall x: Introductory Textbook in Formal Logic