Provers and Retarder Provers