Use slightly nicer lemma routing