Add bounds notion