Satisfying Machineries