working on state lemma