Book sequences Friedman Thomas