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

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