Jesus of Nazareth had a sense of humour. Peter (from Petrus) means "rock". "On this rock I will build my church." Surely that's a pun?