 As Dretske notes, while 5 sounds false, 6 sounds true. Dretske uses this to argue for token causal relata which are more fine-grained than events. He calls them event allomorphs. But, if we think that the causal relata are the values of variables, then it’s natural to account for the apparent difference in truth-value between 5 and 6 by contending that, while 5 is talking about a variable like what Susan steals, 6 is talking about a variable like what Susan does to the bike. But then, in order to say that 5 is false while 6 is true, we must say that the variable value what Susan steals = ⟨steals the bike, Susan, t⟩ is a different causal relatum than what Susan does to the bike = ⟨steals the bike, Susan, t⟩. The former caused Susan to be arrested, whereas the latter did not.