Only Text Quote

The Greek makes the distinction between petros and petra simply because it is trying to preserve the pun, and in Greek the feminine petra could not very well serve as a masculine name.