(An aside: I edited my original comment to clarify that I was saying “These results show that #20 is not some obvious lethality which merits the name”, but I still certainly think that labeling mistakes can and will make some things go meaningfully wrong.)
(An aside: I edited my original comment to clarify that I was saying “These results show that #20 is not some obvious lethality which merits the name”, but I still certainly think that labeling mistakes can and will make some things go meaningfully wrong.)