cuz this example illustrates there are three basic operations involving creating, in creating substructure proofs, one making assumptions, two using ordinary rules of inference to derive conclusions, and three using structure rules of inference to derive conclusions outside of sub-proofs.