In the interface notes, accounted for the potential challenges of indexing unnamed theorems.