How are failure and leadership handled in choreographic programming? Is it up to the runtime to decide? E.g., if I start a new Bob (Bob prime) in a Bob and Alice exchange but the old Bob still exists, what happens? I guess the transport, failure handling, and leadership are all outside of the scope of these libraries? (someone linked a similar looking chorus library).