Web Page: Givens Definition
Web Page: Working with Definitions, Theorems, and Postulates
Video: Sentences to Equations Lecture