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

Grade B googology is okay to discuss when it is painfully obvious how to formalize it. However, so as not to encourage a threshold of sloppiness, this final step should be done by the author whenever possible.