... beyond as well, however each definition becomes recursive upon the last one... E.g. hyper5 = a^^^b = a(5)b = a(4)a(4)...a(4) hyper6 = a^^^^b = a(6)b = ...