Given a proposition s and two sequences of ideas i_1...i_n and j_1...j_n, each idea i_k is replaced ...