The SEC can halt before the 10K comes out, then reset, or the 10k can come out, then a halt, then reset. I think the first case will happen, halt first, 10K, reset.