var oceanexplorer = new explorationprogram(); while(oceanexplorer.discoversecrets("oceans") != "nonpublic") { console.writeline("disavow any prior knowledge and return to the beginning for a fresh, instructional dive into the oceans' unknown depths."); }