251020-finals251020-proofs