Zeroth-order_logic loading ...