Right. What I was aiming at was that when someone invents one of these, they are probably thinking about the other, too, without the set theoretic rigor you recite.