I just typed "Veblen" (as in Thorstein) into a OneNote document, and no wavy red underline appeared. This gave rise to deep thoughts, which I now state in rule form:
(a) you have a distinctive family name; and
(b) Microsoft applications do not warn of a possible misspelling when it is typed into a document; then
(c) you have achieved immortality.
I hereby coin Hammel’s Law® , assuming nobody else has done so previously. (If someone else has, I’m sure I’ll hear about it in comments.)