Are exodus 17 and numbers 20 the same instance?

Exodus 17 and Numbers 20 describe two distinct instances of water being provided by God in the wilderness, though they share similarities. In Exodus 17, Moses strikes the rock at Horeb to bring forth water for the Israelites, while in Numbers 20, Moses is instructed to speak to the rock to provide water, but instead strikes it in frustration. The two events occur at different times and locations, highlighting different aspects of Moses' leadership and relationship with God.