[jaycroft]

Furthermore we know that the wallet spent coins in 2017, three years after Hal's death. Someone other than Hal had (has?) access to the private key for that address.