let exists = PSet.exists