Эта искусственная пещера в парке на северном склоне горы Горячей сооружена по проекту братьев Бернардацци в 1829 г. в ознаменование первого восхождения на Эльбрус участников экспедиции под руководством генерала Емануеля...

О Провале в повести "Княжна Мери" сказано: "По мнению здешних ученых, этот провал не что иное, как угасший кратер; он находится на отлогости Машука, в версте от города. К нему ведет узкая тропинка между кустарников и скал ..." В лермонтовское время не было тоннеля (пробит в 1858 г.) к небольшому, карстового происхождения, озеру в Провале...