Proofs, Identities, and Toolkit Functions