4 ms·Well, yes, of course: isn't "a doesn't matter" the core of the point of the parent comment?by s_gourichon 6y agoWell, yes, of course: isn't "a doesn't matter" the core of the point of the parent comment?