&&
Predicate
_ml
RingProperties