[deleted] comments on Beware of Other-Optimizing