New version of register read lemma.