let compare = PSet.compare