Fixed Identity according to the new subst+ and subst-