Tras la inferencia, es necesaria la verificación.