Book sequences Shafer David