@jens "Of course." Yes. It's not a completely meaningless, communication-free name whatsoever.
@zdl Well, interestingly enough, the set of Core properties was decided upon in Dublin, Ohio.
See what I did there?
@jens A name that makes sense only after you know the history of it is a bad name.
I also hate names in the maths for the same reason: naming things after their discoverer communicates nothing about what it is, which is doubly bad when the same discoverer discovers multiple, disparate things and gets their name attached.
A private instance for the Finkhäuser family.