Wei Dai comments on What is progress?