{ matchHelper, ... }:
[
  (matchHelper ":ntt1" ''
    World A) Animals farmed for food.
    World B) Humans farmed for food.

    All else equal, what is true of world A that is untrue of world B, that if made true of world B, would make world B permissible?'')
  (matchHelper ":ntt2" ''
    P1) For all things, if a being has moral worth, then we should not exploit it to any greater degree than we would tolerate for trait-adjusted humans.
    (∀x(Px→¬Qx))

    P2) If animals don’t have moral worth, then there exists a trait that is absent in animals such that if it were absent in humans, humans wouldn’t have moral worth.
    (¬Pa→∃t(Rta→(Rth→¬Ph)))

    P3) There doesn’t exist a trait that is absent in animals such that if it were absent in humans, humans wouldn’t have moral worth.
    (¬∃t(Rta→(Rth→¬Ph)))

    C) Therefore, we should not exploit animals to any greater degree than we would tolerate for trait-adjusted humans.
    (∴¬Qa)'')
  (matchHelper ":transid" ''
    P1) Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age.
    (∀x(Px↔Rx∧Wx))

    P2) Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age.
    (∀x(Qx↔Sx∧Wx))

    P3) A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age.
    (Ra∧Wa)

    P4)A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age.
    (Sg∧Wg)

    C) Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man.
    (∴Pa∧Qg)'')
]
