英语 ⇄ 俄语 +

subtyping with strengthening type invariants 强调
编程	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)