Update including upper bound B