equivalence between parallel substitutions. Elaboration of plan