let implies = PSet.subset