Title: Prove Me Without Proof