Aristóteles resuelve el problema de la verificación.