satisfying machines in action

});