Book sequences Halkin John