I return to the core definitions we had before and make them a bit more precise in light of the careful definition we now have of tree ordinals. I also show one example of how we can (in principle) unpack a calculation progressively into fundamental sequences and successors.