Predicates? All true!