Something is missing here, most probably a relational function [2] L1:→((⍴B)P←B⍳1)/L2
probably should be more like [2] L1:→((⍴B) < P←B⍳1)/L2
Something is missing here, most probably a relational function [2] L1:→((⍴B)P←B⍳1)/L2
probably should be more like [2] L1:→((⍴B) < P←B⍳1)/L2