Book sequences Clausen Carl