Sophia Proofs