Predicates? All true\!