sophie proofs