On the other hand, if B is satisfiable, then there is an accepting computation for M on input I that follows the steps indicated by the assignments to the variables.
Από την άλλη πλευρά, αν το B είναι ικανοποιήσιμο,τότε υπάρχει μία αποδοχή υπολογισμού για το M στην είσοδο I η οποία ακολουθεί τα βήματα που υποδεικνύονται από τις εργασίες με τις μεταβλητές.