Index notation rules