First_order_logic loading ...