Fill gensym lemma (masak++)