List_of_logic_systems loading ...