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. — Frank E. Gaebelein Copy Share Image
