Kleene_hierarchy loading ...