 And so I really don't know exactly why Tonkin was replaced. It could be, as you allude to, he was killed. It could be simply a reassignment, and he wouldn't be the first VDV brigade or division commander to be reassigned during the war, including within the last few months. So it could just be Moscow reassigned.