Importantly however, it's not permissible to use sentence, sentences in subproofs of that subproof or in other subproofs of its super proofs only the subproof itself and the super proofs of that subproof. 