Machines and Reason