 where “\(t^*\)” is equal to or later than “\(t\)” and reflects that effects brought about by causes entail changes across time. Since the material “if ___ then …” is equivalent to “either not-___ or …”, however, the meaning of (D2) turns out to be logically equivalent to,