Emily Fox (proofs)