Could be better, could definitely be worse. I’m still secretly hoping that my mom’s genes come through and fat distribution somehow saves me 😆
Need to eat way more for that tho…

  • DaPorkchop_ [they/she/it] ( DaPorkchop_@lemmy.ml ) English
    7·
    16 days ago

    transitive butt jealousy

    For any person A, the enviability of A’s butt is a quantity which describes the desirable traits of A’s butt. If A’s butt is less enviable than B’s butt for some other person B, we say that A is jealous of B’s butt, denoted by A ⩋᷾ B.

    Let p1, p2, p3 be people such that p1 ⩋᷾ p2 and p2 ⩋᷾ p3. We can show that p1 ⩋᷾ p3 by contradiction:

    Assume that p1 ⩋᷾ p3 is false. This implies that p1’s butt is at least equally enviable as p3’s. However, p1’s butt is known to be less enviable than p2’s, and p2’s butt is known to be less enviable than p3’s, implying that p1’s butt must be strictly less enviable than p3’s - a contradiction. Therefore, we can see that p1 ⩋᷾ p3 must be true, and therefore that the ⩋᷾ relation must be transitive.

    i have to go to bed so y’all won’t get to see the Butt Jealousy-Enviability Lowering lemma, maybe i’ll finish that up later

      • DaPorkchop_ [they/she/it] ( DaPorkchop_@lemmy.ml ) English
        2·
        16 days ago

        i will see what i can do :3

        see, i had originally tried to model jealousy as a separate relation which occurs if A’s butt is less enviable than B’s and A is insecure about their own butt, because relying entirely on the existing partial order relation of the numerical enviability value seemed kinda cheap. the problem which i didn’t realize until getting a good way into it is that in that model, jealousy is not transitive, so i simplified everything until i had a minimal example which actually fulfills the original premise. now i have two formally proven lemmas which appear to be completely useless…

        side note, if i type “A” and spam autocomplete my phone now writes “A’s butt is less enviable than B’s butt”, which i think is beautiful