But "p = q" and "q = p" is logical equivalence, not implication. Trans women are a subset of women. That is logic.

Comments