It’s the 4th of July, so we got a day off from the institute to spend time however we wished. A group of us decided to take the day as a holiday, and we drove up to Park City, UT, a ski resor…