2022 WIT 1019 Proofs