(If some free variable of t becomes bound, then to substitute t for x it is first necessary to change the bound variables of φ to differ from the free variables of t.)
(Εάν μία ελεύθερη μεταβλητή του t περιορίζεται, τότε για να αντικαταστήσουμε το για το x, πρέπει πρώτα να αλλάξουμε τις δεσμευμένες μεταβλητές του φ να διαφέρουν από τις ελεύθερες μεταβλητές του t.)