We view these arguments as being arranged in a stack with j 1 X 1 at the top and j m X m at the bottom.
another way of writing the category X above is as X D A˛, where˛is a (possibly empty) stack of m arguments.