Satisfying machines at work