two pairs of substitution