Mechanization of Thought

beating the Automaton