User blog comment:Vel!/Googology and well-defined-ness/@comment-1605058-20141007094943/@comment-5307762-20141010004007

I think that functions or numbers in grade B is possible to be grade A.

Imformal or vague system probably just need formal definitions to be formal or formal-ish