Isn’t the actual proof of this theorem really complicated?

Ah, good to hear, that makes a lot of sense :)

Ngl, that’s a little weird. Thanks for the clarification :)

I’m confused, does this mean that if your account was created on an instance without downvotes you can’t downvote thongs elsewhere where they’re enabled? How does this work the other way?

We might have old people names rn, but, as names usually skip a generation, our names will be cool when we’re old. Trust me it’s gonna work out, i wouldn’t have named myself rachael otherwise lol

monoids don’t care about your feelings. they got identity, associativity and anything else is your problem