Let ℱ be a family of meromorphic functions defined in D, all of whose zeros have multiplicity at least k+1. Let a and b be distinct finite complex numbers, and let k be a positive integer. If, for each pair of functions f and g in ℱ, f(k) and g(k) share the set S={a,b}, then ℱ is normal in D. The condition that the zeros of functions in ℱ have multiplicity at least k+1 cannot be weakened.