Report Quote #12712

// working through a Fitch-style proof; ∀xƎy[P(y,x) -> ~Ǝz(P(y,z) ∧ P(z,y)] Rose: So let's take a guy. What should we name our guy? Student: Raul. Rose: Okay, Raul it is. So if someone loves Raul, then it's not the case that they have somebody they love who also loves them. // later Rose: So let's say Raul loves someone. I need a name for the person Raul loves. John: Paul. Rose: Paula. Okay. John: No, just Paul. Rose: Oh, straight Paul? Okay. Stephen: I'm not so sure if "straight" is the right word to use here.