they looked for evidence that the software engineering methodologies used to produce the software in the diebold machine were up to and exceeding the, the standards for, for other kinds of critical software.