🔎 Proofs by @let-norm-be-the-exception-be-different

These claims have been reviewed and verified by a third party.