英语 ⇄ 俄语 +

allowing value parameters in the postcondition 强调
编程	допуск входных параметров в постусловие (ssn)