How or when would we know if there was in fact a default event? would it be on the 8-k? Or it for sure did not happen because trading was not halted?