Second_order_logic loading ...