> Edit: Logically speaking, the following two are equivalent: Depends on your logical system! There are temporal logics to allow one to capture logically the

> Edit: Logically speaking, the following two are equivalent: Depends on your logical system! There are temporal logics to allow one to capture logically the difference between the two.