Kleene–Mostowski_hierarchy loading ...