update precondition
ru translate