Book sequences Freedman J. F.