where n is the outward normal vector, κ is the electrical conductivity of molten salt and φ is the electric potential of the cathode. Alongside physicochemical constants, nonlinear electrodeoxidation requires Dirichlet potential and Neumann flux boundary conditions. Despite cathode renormalization in the statistical continuum limit, Wilson numerical renormalization group determines the thermodynamic properties of quantum impurity systems. For slow cathode kinetics, the discharge of two oxygen moles is equivalent to the charge number on the oxygen ion, according to Faraday's second law. Thus, the molten salt electrolyte near the cathode is no longer an equipotential surface, resulting in the calculation of secondary current distribution (i.e.