@AudreyJune maths!

like, actually, no joke, one of the primary considerations in making final name decision was a numerical thing. the name had to be a particular number of letters, a particular number of syllables, and a particular number of words, all together. by that point we'd already sort of figured out what we were keeping, what we were changing, and what we were throwing out entirely, so we ended up with a simple set of constraints that ended up exactly fitting a bad pun. hence, name.