What are the proofs of my theories?