Formal Veri(cid:28)cation of Necessary and Su(cid:30)cient Evidence in Forensic Event Reconstruction