Information of provers and meaning of the same