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