Oh! True enough!

It is a specific left-hand term of the criterion, where I was looking thoroughly for an operator (like in, not in, classified under).

Thanks.

Can I close this request or something?