Then the expression can be satisfied if and only if there is a way for the machine to run correctly and answer "yes", so the satisfiability of the constructed expression is equivalent to asking whether or not the machine will answer "yes".
Έπειτα η έκφραση μπορεί να είναι ικανοποιητική αν και μόνο αν υπάρχει ένας τρόπος να τρέξει σωστά η μηχανή και να απαντήσει "ναι", έτσι ώστε η ικανοποίηση από την κατασκευαστική έκφραση να είναι ισοδύναμη με την ερώτηση αν η μηχανή θα απαντήσει "ναι".