(a implies b) implies !(b implies a)