subproofs