Aristóteles resuelve el problema de verificación.