Book sequences Hartness John