Lavin: "Lavin_book": Lavin_book