Aristoteles doğrulama sorununu çözer.