TC←{
  assert 1=⍴⍴⍺ :
  assert (≢⍺)=⍴⍴⍵ :
  assert 0≤⍺ :
  assert ⍺≡⌊⍺ :
  r←1+0⌈⌈/⍺
  assert ⍺(∊,∊⍨)⍳r :

  z←⍺ ⍺⍺ ⍵

  assert (⍴⍴z) = r :
  assert (⍴z)  ≡ ⍺[⍋⍺] {⌊/⍵}⌸ (⍴⍵)[⍋⍺] :  
  assert z[⊂v] = ⍵[⊂v[⍺]] ⊣ v←?⍴z :
  z
}

   (x⍉y) ≡ x ⍉TC y
1

┐
│
│
│
│
│
┘

┐
│
│
│
┘