けんき says to YSITD

p=>q !p=>!q

at Sat, Jul 16, 2016 10:23 PM