Second_order_arithmetic loading ...