resubstitutions