Added the strengthening to the rule. The pattern must never have greater dims than the text.
∧/(⍴T)≥⍴P