tailcalled comments on [ASoT] Instrumental convergence is useful