User blog comment:DontDrinkH20/"Interesting numbers" and the 3 Classes of Googolisms/@comment-27513631-20180813194237/@comment-36540075-20180813220424

Alright, NOW I will edit and thank you. Is it possible that, for example, there is a complexity-5 formula defining 6? It's easy to prove that if not, then 7 is an interesting number because c(8) can't be 5.