Electrolysis theory