commercial - proofs

February 21st, 2022