Definition of "subproofs"

subproofs