Positive_cone_of_a_partially_ordered_group loading ...