a and not(b implies a)