Transition To Mathematics With Proofs by Michael Cullinane