fact noRedudantTopics {
	all c : Component | c.subscribes = c.subscribes - c.subscribes.groups
}