Reasons and Machines