A Personal History of the Hastings-Michalakis Proof of Hall Conductance Quantization

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