generalize in match H1; clear H1;
generalize in match H; clear H;
generalize in match args2; clear args2;
generalize in match args1; clear args1;
generalize in match m2; clear m2;
generalize in match m1; clear m1;
generalize in match H1; clear H1;
generalize in match H; clear H;
generalize in match args2; clear args2;
generalize in match args1; clear args1;
generalize in match m2; clear m2;
generalize in match m1; clear m1;