Book sequences Friedman C. S.