Predicates

this constellation has no stars yet