The proton gradient is an interconvertible form of free energy.