[[(({1))}]] → [[(({2))}]]