Laguna Verde High School High School is Eric Husch's alma mater, the location where he made the Eötvös (Decoder) Wheel. It is the place that originally housed the Ship of Theseus novel, before Eric took it for his own. The Laguna Verde Library acquired the book sometime before or during 1957, it was first checked out in October 6th of that year. It is unknown where Laguna Verde High School is located, however there is a “Laguna Verde Way” in Las Vegas, Nevada in the Valley Verde area. There is also located in southwestern Bolivia.