avg_rating: 3.92
name: Richard J. Lipton