- [ ] subtree inclusion proofs [MTC RFC §4.3](https://datatracker.ietf.org/doc/html/draft-ietf-plants-merkle-tree-certs-03#section-4.3). Produce and verify. - [ ] subtree consistency proofs [MTC RFC §4.4](https://datatracker.ietf.org/doc/html/draft-ietf-plants-merkle-tree-certs-03#section-4.4). Produce and verify.