trying to use lemma involving stack suggested by Wouter