All changes below are so that this is computed such that bottom-level topics only contain the kinds of their children, and not their own kind.