Wei Dai comments on Thoughts on reward engineering