Added subset proofs, and recursively structuring a proof