Added least upper bound