Check treatment

In re Lemma