Maybe more formally introduce first-axis reduction

[rikedyp]

https://course.dyalog.com/array-logic-data-driven-conditionals/#the-shape-of-data

currently shown in a brief example, and then used repeatedly hereafter