Sotomayer retirement clock started yet?