User blog comment:Bubby3/The Great Googology Todo List/@comment-35470197-20190524144920

> I feel like googolists haven't been doing anything really meaningful or important recently.

How about my notation? I guess that it is stronger than any computable notation which you know and is known to be well-defined.

> Make a formal anlysis of BMS past pair sequences, or at least one with justifications.

Such a formal analysis can be done only when you can formally analyse pair sequences. Remember that you just failed. So how about starting from pair seuqences as a training? Skipping does not give you an ability to formalise analysis.

> Analyze the BMS catching function

I think that it is ill-defined because BMS is not an ordinal notation. Could you tell me its precise definition?