User blog comment:Wythagoras/Results of the First International Googological Olympiad/@comment-1605058-20150223142744/@comment-5529393-20150223212324

Yes, it would be nice to add an argument for monotonicity in BEAF.

And congrats to Fish as well, and thanks to Wythagoras for a nice Olympiad!