. . "In more commonplace usage, one might ask whether the program is solvent or insolvent in the long run." . .