public virtual void AddLemma(LemmaCall lemma) { }
public override void AddLemma(LemmaCall lemma) { lemmas.Add(lemma); }