trial to solve scc_lemma_1_4