let lemma config = config.lemma