Anna & Matt (proofs)