User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-30279966-20190928143127/@comment-5150073-20191006060313

@Triakula: I don't know about OTM's BB, its definition is a bit vague, but ITTM's BB is a well-defined proven stuff by serious mathematicians.

@P進大好きbot: What is the actually fastest growing completely well-defined non-salad function? Isn't it ITTM's BB?