setup and small proof on index