Automated Theorem Proving door Monty Newborn & Monroe Newborn