After describing desirable characteristics of a student's first encounter with proof, and listing skills prerequisite for the proposed lesson (knowledge of some operational systems), the author describes in detail an introductory session in which students prove consequences of commutativity and associativity for a system supposedly encountered on…