wip: some thinking about what happens when a server crashes