added aux_lemmas to Make
moved aux_lemmas