User blog comment:Deedlit11/Is BEAF well-defined?/@comment-29014792-20160729201526

Hmmmm, we can not compute X^^X arrays, so it is ill-defined after tetrational notation