stray indexing in preliminaries
stray indexing in logic