locality.tex