ah no, that should be `domInfo.globalDomain.size[axis_element.first]`