b implies a