finalproofsSpring 2022 proofs