 The launch of the invading fleet is prior to \(\mathbf{A}\) and so in some sense in Alice’s past. But since the launch is after \(\mathbf{B}\), it is in that same sense in Bob’s future. Penrose comments: