Niangko～(=^ェ^=) !
says to
Happy Web Developer
若p 則 q = 非q 則 非p 吧