Books without sequence (Laver Brian)