Term_logic loading ...