anonymous6 comments on We can do better than argmax