A Man Who Tried to Redeem the World with Logic