added some predicates