El problema viene al intentar sustituir constantes que no designan nada por variables: de hecho, no podemos realizar dicha transformación mediante las fórmulas estándar de la Lógica de primer orden, ya que no hay constantes designatorias.