First-order_arithmetic loading ...