d(S, S') = formula_6