Satisfying Machines and Ingenious Tools