Book sequences Friedman Devin