🔎 Proofs by @under-write-dont-over-write

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

Loading proofs...