separate predicate for syntactic sugars