Hydrogen ions diffuse back into the matrix through a carrier protein that adds a phosphate group to ADP, making ATP