Open topic with navigation
Y may be any array. The result R is the argument Y.
⊢'abc' 1 2 3 abc 1 2 3