On Mon, 20 Jun 2022, Elijah Stone wrote: > meaning that the shape of the result from indexing could be any prefix of $y I am not thinking straight, and should go to bed. Could be any _suffix_ of y. Just reverse $x and $y, and I think the formula I gave before holds.