ParentFull threadfuncDropShadow·The technically correct term -- at least in reduction systems -- would be confluence not convergence.View on HN