avg_rating: 4.07
name: Raymond Smullyan; Walter Carnielli