Mathematics, Automated Theorem Proving.