avg_rating: 5
name: Ruth Barcan Marcus