Argument_from_degree loading ...