3 ms·how in the world do you come up with those names? what was their appeal to you?by babeKnuth 16y agohow in the world do you come up with those names? what was their appeal to you?