Linearly_ordered_group loading ...