Wei Dai comments on What big goals do we have?