En naiv, tekstelig substitusjon vil bli feil, fordi variabler som forekommer fritt i kan bli bundet hvis settes rett inn i . F.eks. vil være , siden den tidligere frie variabelen i er blitt bundet i .