name: Richard Dedekind
avg_rating: 4.16
ratings_count: 180