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

Well, if I were to be picky, in solution to 3. you have used monotonicity of BEAF in second and third argument, which, in my opinion, is not as obvious as might sound.

Anyways, congratulations to all participants, especially to Fish!