Make Concept.lemma const