Category: satisfying machines