Check the veracity of the equivalences presented in the slide.
x←?1e6⍴8e5 (∪x) ≡ ((⍳≢x)=x⍳x)⌿x
u←⎕a[?97 12⍴26] x←u[?200⍴≢u;] y←u[?300⍴≢u;] (x∧.=⍉y) ≡ (x⍳x)∘.=(x⍳y)
u←(1=?400⍴12)⊂⎕a[?400⍴26] x←u[?200⍴≢u] y←u[?300⍴≢u] (x∘.≡y) ≡ (x⍳x)∘.=(x⍳y)