User blog comment:--MULLIGANACEOUS--/The YETI function, regarding Oblivion./@comment-26388711-20161226065836

Then, the only way we can include Oblivion and its function as a proper googologism is when we or Bowers redefined/revised this definition such that it is no longer ambiguous.

In fact, it is possible that a K(n) system can refer to multiple systems with the same value of n.