Wei Dai comments on AI #71: Farewell to Chevron