Before revision: Fast theorem proving Prove or disprove as quickly as possible that all even integers .
After revision: Fast theorem proving Prove or disprove as quickly as possible that all even integers