A nested proof; that is, a proof that occurs within a larger proof sequence. (See alsoAssumptive proof.)