  Another response is that of Vihvelin (1996), who argues that there is no contradiction here because ‘Tim can kill Grandfather’ is simply false (i.e. contra Lewis, there is no legitimate sense in which it is true). According to Vihvelin, for ‘Tim can kill Grandfather’ to be true, there must be at least some occasions on which ‘If Tim had tried to kill Grandfather, he would or at least might have succeeded’ is true—but, Vihvelin argues, at any world remotely like ours, the latter counterfactual is always false.[17]