factored a nicer lookup-concat' lemma