gwern comments on Bíos brakhús