Book sequences Kreisel Ray