Satisfying machines

NEXT