Iron out work up to dfn/lemma of e_{v,q}