lionhearted comments on May gwern.net newsletter