more repl_correct_lem exploration