This is a personal history of the Hastings-Michalakis proof of quantum Hall conductance quantization.