Totally_ordered_group loading ...