https://en.wikipedia.org/wiki/Vanadium (at least when I browse with Chrome!) says the poor guy who discovered vanadium withdrew his claim after other chemists convinced him it was just another form of chromium. I'm guessing that a similar lapse of conviction ruined Mathematica's Binomial function: Some moron complained about the asymmetry so long after it was implemented that WRI forgot why it's asymmetrical, and accommodated the moron. I had and forgot other examples, but here's one I remember: Petr Beckmann's https://en.wikipedia.org/wiki/A_History_of_Pi originally contained Euler's 2 1 Pi Product[------, p ∈ {2, 3, 5, 7, …}] == --- 1 6 1 - -- 2 p But some doofus with a minicomputer complained that p ∈ {2, 3, 5, 7, 9, 11, …} didn't work! So Beckmann tried the same thing, and removed the formula from the next edition! --rwg I wonder why Mma disallows fancier iterators like p ∈ Primes and n≥1.