Was AG Barr right to intervene on the Roger Stone case?