∀ (a : Std.Format) (behavior : Std.Format.FlattenBehavior) (a_1 : Std.Format) (behavior_1 : Std.Format.FlattenBehavior),
  (a.group behavior = a_1.group behavior_1) = (a = a_1 ∧ behavior = behavior_1)