 A statement may be said to be naturally or physically necessary if, and only if, it is deducible from a statement function which is satisfied in all worlds that differ from our own, if at all, only with respect to initial conditions. (Popper 1965: 433)