When a judge or jury is presented with evidence in a criminal trial, they must apply some sort of reasoning process to draw a conclusion from this evidence. For instance, from a witness testimony they might conclude that the suspect was at the crime scene, and from fingerprints on a murder weapon they might conclude that the suspect used the weapon. With the rise of modern forensic techniques such as DNA profiling, such legal evidence often comes with some sort of probabilistic information. For example, when forensic experts report on a DNA match, they will typically report a so-called random match probability: the probability that the match would be found if the suspect were not the source of the DNA trace that was tested. A challenging ta...