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

Yes, I also believe that many grade B systems can be made into grade A, but it's not our job to do so, it's something that notation's aouthor should do.

Some of informal systems can be given formal definitions, but for others it's extremely hard. A good example would be BEAF. It's informal, but after many years we still have no idea on how to make it into fully defined notation.