Title: Mechanized indexing