User blog comment:Bubby3/The Great Googology Todo List/@comment-36984051-20190718191826/@comment-35470197-20190718223054

> Analyze Hyp Cos’s Catching Function

Similar to UNOCF, Catching function is also known to be ill-defined.

> Make efficient simulations of different parts of SAN and BMS using Turing Machines to make lower bounds of BB(n) for slightly higher n.

They do not give lower bounds, because they are not known to terminate. We need to verify their termination first.