I give some examples of the new phifunction (extending the fastgrowing hierarchy to the higher tree ordinal classes) and give a taste of how you prove statements about such ordinals and functions, through a generalization of induction.