Wei Dai comments on A War of Ants and Grasshoppers