gwern comments on Suppose HBD is True