An SEC registrant must file a Form 8-K when its external auditor resigns, declines to stand for reelection, or is dismissed.
External auditors are dismissed lots 
mnli hypothesis: External auditors are dismissed lots  premise: An SEC registrant must file a Form 8-K when its external auditor resigns, declines to stand for reelection, or is dismissed.