Vi anse att han med Petrus menat klippmannen.