((subst:[[(({1))}]]))