En la lógica libre, (1) se reemplaza por