The BetweenFilter over every value of one comparable kind, or never when V declares none of that kind. Non-distributive for the reason ComparisonOfKind is.
never
V
ComparisonOfKind
The values of V of one comparable kind.
The BetweenFilter over every value of one comparable kind, or
neverwhenVdeclares none of that kind. Non-distributive for the reasonComparisonOfKindis.