Drop an upper bound
Add an upper bound