Let be any proposition that might obtain or not as a matter of chance; let and be a world and a not world, respectively, but let them both be worlds that have a chance of going either way; let A be the proposition that holds at these two worlds, and no others; and let be any third world.