3 ms·There are stupid names and there are misleading names.by typetheoristic 14y agoThere are stupid names and there are misleading names.thebluesky 14y agoThere are nitpickers and Nitpickers with a capital N.