La respuesta de Kripke a este problema fue elimar términos.