Proofs from theories are now checked