We prove Combinatorial rigidity for infinitely renormalizable unicritical polynomials, $f_c:z \mapsto z^d+c$, with a priori bounds and some "combinatorial condition". Combining with KL2, this implies local connectivity of the connectedness locus (the "Mandelbrot set" when $d=2$) at the corresponding parameter values.