Notes on reverse iteration.