avg_rating: 4.22
name: Thomas J. Jech