Talk:Conway's Tetratet

How can Bird's proof be used to show that a chained arrow expression is larger than a BEAF expression? Wythagoras (talk) 09:36, December 22, 2014 (UTC)