fixed okay_lemmas
added approve lemma notebook
updated approve lemma