(a) implies (b)