Add lemma's for CLI and CUR