Many Worlds Logic 2e C by Paul Herrick