Proof Gallery 2022