I'm sure Stipe would be happy to have them stay, but, since Stripe will be unable to continue paying them for their time, I would guess they will mostly choose to go.