lemma_dev_utils
