Aristoteles löser verifieringsproblemet.