Protons can diffuse out of the thylakoid space across channels formed by ATP synthase. This results in the formation of ATP.