oktw
says to
#ysitd
<RSChiang>: 而且如果 p ⊃ q 且 q ⊃ p，則 p ≡ q