This will break when we implement padding, since the values of a padding tuple are allowed to vary along a dimension, right?