Title: Mechanized indexing methods and their testing