Such a proof demonstrates that the low-level machine "faithfully implements" the high-level machine.
Μια τέτοια απόδειξη απαιτεί η μηχανή χαμηλού επιπέδου να "υλοποιεί πιστά" τη μηχανή υψηλού επιπέδου.