It’s worth pointing out that it’s not just that he was convicted with STRmix, he was considered innocent by traditional DNA methods (not exonerated, but he would have been innocent). It seems like overturning that for a statistical probability method should be a high bar to pass, with 100% transparency.