Theorem theory