Аристотель решает проблему верификации.