Miscellaneous Introduction to Proofs, an Inquiry-Based Approach: A Free text for a course on proofs Jan 4, 2019