oktw => #ysitd: <RSChiang>: @joeangel p ⊃ q (if p, then q) p ≡ q (if and only if) #56d822eed12801740680f64a

oktw says to #ysitd

<RSChiang>: @joeangel p ⊃ q (if p, then q) p ≡ q (if and only if)

at Thu, Mar 3, 2016 7:41 PM