Just realized I misspelled Karl Crary's last name! It should be Crary, not Krary. Embarrassing!