public List<ProofStep> getSteps()
{
// Only calculate if the proof steps are actually requested.
if (null == proofSteps)
{
calcualteProofSteps();
}
return proofSteps;
}