stray indexing in equivalences