Li-Fan Chen says to OwO
P->Q不等於Q->P
at Mon, Feb 13, 2017 8:23 PM