Aristoteles řeší problém ověřování.