First-order_logic loading ...