Church–Kleene_ordinal loading ...