Trurl and Klapaucius, two robot constructors, travel the universe solving impossible problems. Lem's comic fables work simultaneously as mathematical jokes and philosophical koans. Translator Michael Kandel's English version is itself a masterwork.

The case for it, the case against, and the rest of the canon open with Pro.