b←1=?1e5⍴20 x←7÷⍨¯200+?1e5⍴1000 cmpx '≢¨⊂⍨b' '(≢¨⊂)⍨b' cmpx '+/¨b⊂x' 'b(+/¨⊂)x' cmpx '⌈/¨b⊂x' 'b(⌈/¨⊂)x'