avg_rating: 4.15
name: Richard Dedekind