Alt Text
Show parent replies
The post below is a reply to another user
For all women w, if w is cunty (C), then person p loves (L) w.
∀wC(w) -> L(p,w)
∃w~C(w) -> ~L(p,w) does not follow
much less the stronger claim H(p,w)! that’s entirely unrelated!