the-man-who-tried-to-redeem-the-world-with-logic