220416-finals220416-proofs