Added theories for group flattening