stray indexing in basics
stray indexing in preliminaries
stray indexing in logic