premise: Everyone has visited Woods Hole, Burlington, Devils Lake, Tuscaloosa, Harlan, New Market, New Glarus, Marinette, Belle Glade, Camden, Winooski, Nome, Swarthmore and Lancaster
hypothesis: Judy didn't visit Mishawaka