proto-syntax indexing{=PSI}