User blog comment:Nayuta Ito/The Devil's Dictionary in Googology/@comment-11227630-20180504040713

I think Laver table q(n) is more "doubtful" than Bashicu matrix system.