The line of beta stability can be defined mathematically by finding the nuclide with the greatest binding energy for a given mass number, by a model such as the classical semi-empirical mass formula developed by C. F. Weizsäcker. These nuclides are local maxima in terms of binding energy for a given mass number.