PROOFS: From Schematic to Prose: Part I: Logic, Sets, and Elementary Topics