User blog comment:Vel!/Googology and well-defined-ness/@comment-83.237.170.16-20141017233503/@comment-1605058-20141018053007

I would put whole notation in high grade B anyways - it's straightforward for everyone else to say "this is actually n^^n, and if we fix that then it's all okay", but the author of the notation still did not specify what is the 6th term of the sequence. I don't see why putting a strong precise system around it would make it any more defined. It could only make it worse (ofc, you assume it doesn't).

If you really think that Iko was (almost?) right with "we should not have grade A googology", then what should we do now with all these notations for which their authors actually took their time to give precise set of rules thanks to which this notation is totally unabiguous? Should we throw them into a trash bin and simply focus on less useful definitions?