Book sequences Hoffman Paul