博纳维尔湖（Lake Bonneville）是更新世时期一个巨大的湖泊，在末次冰盛期覆盖了犹他州西部的大片区域，并延伸至相邻的内华达州和爱达荷州的边缘。该湖在约 17.5 千年前（KYBP，即距今 17,500 年）达到其最大范围和深度。在此水位下，湖泊侵蚀形成了现今所称的博纳维尔海岸线（Bonneville Shoreline），海拔约为当前海平面以上 5100 英尺。当湖泊达到最高水位时，湖水从位于爱达荷州的红岩山口（Red Rock Pass）溢出，引发了一场巨大的洪水，沿蛇河（Snake River）流域倾泻而下，最终经哥伦比亚河（Columbia River）注入太平洋。随着出流水侵蚀出一条河道，博纳维尔湖的水位开始下降，总体降幅约 410 英尺，降至平均海平面以上约 4750 英尺，此时下切河道最终遭遇抗蚀基岩。这一过程稳定了湖水位，并在该海拔附近侵蚀出一条界限清晰的海岸线，即普罗沃海岸线（Provo Shoreline）。事实上，一条河流似乎曾通过该河道向蛇河持续流入约一千年，充当博纳维尔湖的出水口。然而，随着气候变干，博纳维尔湖的水位最终降至出水口以下。正如预期，一个横跨数十英里、深达数百英尺的湖泊，其侵蚀海岸地貌的规模通常与海洋相当而非湖泊，而此处正是如此。窗岩（Window Rock）是一座大型海浪侵蚀形成的拱门，类似于当今常见于海岸线的拱门——只不过它如今高耸于山脊之上，已远离水面。但在数千年前，这座山脊曾淹没在汹涌的波涛之中，正是这些波浪雕刻出了这座拱门。窗岩的海拔约为 4839 英尺，因此它必然是在湖水位降至普罗沃海岸线之前被侵蚀形成的。