emphasized cosubstitution
some clarifications according to comments