s. kubena - proofs

February 4th, 2023