Comment by dalvrosa

Indeed that's true. That extra constraint enables further optimization

It's mentioned in the post, but worth reiterating!