let
increase_lemma_learned space =
space.cus_lemma_learned <- space.cus_lemma_learned + 1