Blank Chen
says to
Happy Web Developer
若p 則 q = 非p 則 非q