Book sequences Halpern Daniel