Aristoteles løser verifiseringsproblemet.