Treats Predicates (with mixins)