英语 ⇄ 俄语 +

adding flexibility to the natural deduction system 强调
编程	увеличение гибкости системы естественного вывода (ssn)