There were multiple rumors last year about layoffs at RUSD but nothing happened. Now, there is talk that 2020 may be tough. I bet nothing will happen.