Wei_Dai comments on Another take on agent foundations: formalizing zero-shot reasoning