Book sequences Pratt Non