Many Worlds Logic 2e C door Paul Herrick