finished a major lemma lookup-concat'