They do HOWEVER Stephens retirement does not take effect until the end of this court session!!
Yes, thanks. I finally did realize that.