Aristotele risolve il problema della verifica.