Типы текстов: Рассуждение и доказательство на практике