This means Thomas and Kennedy should resign as soon as the nuclear option is engaged and Trump is still President.
I would favor the retirement of Kennedy. I would want Thomas to stay as long as he is healthy and could do the job.