英语 ⇄ 俄语 +

developing loops from invariants and bounds 强调
编程	построение циклов, исходя из инвариантов и ограничений (ssn)