describe or infer proof features

[Mttbnchtt]

Describe enough proof structure so that one can describe its features, like:

• identify subproofs
• identify patterns of proofs (by reductio, etc.).