The point of those `LET`s is so I don't have to use `THE` every time I reference `IDX`.  Do you prefer that I use `LOCALLY`, use `THE` multiple times, or get rid of the type declaration for `IDX` altogether?