@TheDailyBurble yeah, the rocks were carved out in earlier centuries, and now there are walkways through them.