Rocks are mentioned in the Bible as places of refuge (Prov. 30: 26) and as hiding-places from God (Isa. 2: 19). Moses hid himself among rocks lest he should have to face God (Exod. 33: 20–23). And he struck a rock to provide water (Exod. 17: 6), an incident used typologically by Paul, who interpreted the rock as Christ (1 Cor. 10: 4). Rocks provided solid foundations for building (Matt. 7: 24–5), and so the term was a suitable description for Peter (Matt. 16: 18), upon whom the Church was to be built.