I take that back. Lucky Charms is a General Mills brand cereal. But perhaps mostly Kellogs for you?
I looked up the brands, and I don’t remember having any of the Post products. Now I don’t eat cereal at all, just plain oatmeal.