thanks for your contentful comment. I'm pretty sure everyone in HN will appreciate this. "modulo" in this sense does make sense, because it's abstracting that

thanks for your contentful comment. I'm pretty sure everyone in HN will appreciate this. "modulo" in this sense does make sense, because it's abstracting that part out and mapping it to a equivalence relation.