cosubstitutions