Students recognize problems that may be solved using deductive reasoning, and develop aids to help them in solving these problems. They produce their own deductive reasoning puzzles for other students to solve.