Aristote résout le problème de vérification.