First-order_language loading ...