Labeled: remove last admitted lemmas from ok library