More progress on Helly; only convergence of subsequence remains