Comment by mziel

Logic tells us those two statements are equivalent.

p = "reading books"

q = "success"

p => q is equivalent to ~q => ~p