!(b implies a)