The writer outlines the Super Student (SS) model, which facilitates the 
teaching of the proof process. The model saves time and allows students to
attempt to use proofs almost immediately, it gives students a model to 
compare themselves to that is completely different from other mathematical
models, and it is fun and interesting. 

The SS model contains six phases: open, where students carry out a number 
of actions to gain insight into the theorem; brainstorm, where students think
of ideas associated with the theorem; instantiate, where students see a chain 
of inferences that connects the hypothesis to the conclusion or solves the
theorem indirectly; convince, where students examine their argument to see 
if it is a valid one; reflect, where students consider alternative approaches;
and extend, where students, having proven the theorem in one system, try to 
apply the same theorem in a general system. The model correlates to the
constructivist point of view and has been found to be successful. (Wilson)