Arystoteles rozwiązuje problem weryfikacji.