Match #6786

TCT: (:flushed:) vs (Unlikely convergence)