Dustin Smith and J. Dan Gill discuss Paul’s words in 1 Corinthians 10:4. There they find that Paul is speaking in “types” and “examples.” Christ was not literally a rock which was following the children of Israel around in the wilderness. The rock in the wilderness was rather a fore-shadowing of the real Messiah who came into existence in Mary and whom the Corinthians served as lord.