Abstract_logic loading ...