Title: Texas Style Introduction to Proof