Let mean that the tested person is guilty and mean a positive match. Under the specified model, , and . Bayes' theorem gives
The posterior probability for a unique source after a positive test depends on the number of alternative possible sources as well as the false-positive probability. In particular, the false-positive probability is not the probability of innocence conditional on a positive match.