let filter = PSet.filter