("x" "y")  no definen funciones porque las ocurrencias de "y" están libres.