Progresses on generalized subst- version thanks to lemmas about fuse-gen