Adding specs for PredicateSets