Арістотель розв'язує проблему верифікації.