🔎 Proofs by @icsc-recon-2018-2

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