Re: [PATCH] diff-cache path restriction fix.

I do not think there is any right or wrong in this discussion, so I would not make any more comment on this topic for now.

Your interpretation that "(a cmp-op b) is an assertion on a" is one valid interpretation of a boolean expression. I would understand it if you say you are used to think of it as an assertion about the left hand side. I just do not think of it that way. Rather, to me, "(a cmp-op b)" (or an boolean expression in any shape for that matter) as a whole is an assertion, and it is simply easier for me if a and b are ordered from left to right, to visually match ascending order.

But that is only because I am used to read programs written that way. Just like you are used to think of these expressions about assertions of the left hand side.