Ref Lemma and Example