let lemma_max config = config.lemma_max