Cited passages: Introduction; Figures 1 and 4B–D; Proton translocation through the FO region. Structural inference is distinguished from a live molecular trajectory.