Seifert , he testified , had a gunshot wound in the back .
Kiernan testified that Seifert had received a gunshot wound to the back .
computers examine many potential solutions to a problem, modifying mathematical models, and comparing the modified models to search for an alternative