Category:Subgroup property non-implications