avg_rating: 4.22
name: Leslie Lamport