# completion-cases

Given completion avoidance after all acceptance criteria pass, when one-more-thing thinking appears, then report proof and terminate.