Arithmetic_hierarchy loading ...