Add CURL lemma