The problem is that the free variable x of t became bound during the substitution.
Το πρόβλημα είναι πως η ελεύθερη μεταβλητή x του t επειδή δεσμεύεται κατά τη διάρκεια της αντικατάστασης.