「ふぃっしゅ数バージョン７」は「ラヨ数」に神託機械を導入して拡張していますが、「ラヨ数」が数学的に一意に定まるには「公理」が指定されている必要があるそうです。

近年、その「公理」について、作者のラヨは「措定しない」としたため、「ラヨ数」は数学的に定まらないことが確定しました。その影響は「ふぃっしゅ数バージョン７」に及びました。

その「公理」の問題を解決した「小ふぃっしゅ数バージョン７」がP進大好きbotにより定義されたみたいです。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E5%B0%8F%E3%81%B5%E3%81%83%E3%81%A3%E3%81%97%E3%82%85%E6%95%B0%E3%83%90%E3%83%BC%E3%82%B8%E3%83%A7%E3%83%B37