A TeXas Style Introduction to Proof