Precisely. Would anyone argue that instead of Einstein Day, we should have Turing Day? No, the objection to that would be that for one thing they have very little in common, so why would one replace the other, and for the other part, why can't we have both an Einstein Day and a Turing Day? Both valid points. So why are women different, why is it the case that the only way Curie can become more prominent is if Lovelace takes a step back?

The choice of Turing as an example: He was a closer match to Lovelace in being a computer science pioneer.