proof tracking index{=PTI}