Suppose for reductio first that we have a history to chance conditional if, then A (where A might, for instance, specify chances at the end time of the segment); and second that and jointly imply not, so that the conditional conflicts with the laws.