@xiangli-cmu Why is `CurrentIndex` wrapped as `Index()`? Why can't we just access `CurrentIndex` directly?