Let be a full specification of history up to the present and of present chances; and suppose for reductio that is a nonactual future, with some positive present chance of coming about, that would give a different present distribution of chances.