Second-order_logic loading ...