Indeed that's true. That extra constraint enables further optimization
It's mentioned in the post, but worth reiterating!