Suppose HBD is True — LessWrong