Description: Discussion on the positive results in using problem solving to teach properties of axioms and theorems.