avg_rating: 3.5
name: J. Richard Büchi