Schrödinger's Provo: assessing the existence of the IRA