Update Halpern and Hitchcock