Book sequences Leverone Allan