User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-39541634-20190917091810

@P-bot

I would also like to read your 70+-page proof, which at the time of this writing is not available to an international audience.

Gotta tell you that this doesn't really motivate me to share my work either. It's not exactly fair, when the flow of information only goes in only one direction, is it?