A Note on the ? System Lemma