Thus the process of generating proofs involves a goal-oriented problem
solving process with multiple affective components and is dependent on cognitive resources.
Although the explicitly iterative aspect of the DNR framework (repeated reasoning) plays a
pedagogical role, there is also an implicit iterative aspect for evaluation and refinement of the
process of creating a proof in the problem solving component of the duality principle.