Comment by whooshee

Same here, and some definitions named by people's names. I totally understand the need to attribute and respect people's work, but a more descriptive name is almost always easier to remember and talk about.