If We Had An Index File, We Could Look It Up In The Index File Under "Index File".

If we had an index file, we could look it
up in the index file under "Index File".