hits: style in the flattening lemma