you could set a precondition that the previous owner is present when deleting the previous and setting the new one: so long as that is the case, then the expected state should not have changed