User blog comment:Deedlit11/Is BEAF well-defined?/@comment-25418284-20121023211454/@comment-5150073-20121025100626

But wait, Bowers' defines 100^^4 & 10 as {10,100 ((100) 1) 2}, not {10,100 ((3) 1) 2}.