Richard_Ngo comments on Optimality is the tiger, and agents are its teeth