Which IRA? Because there was the old IRA in the run-up to the formation of Ireland, then there was the anti-treaty IRA from '20s to early '70s that didn't recognise Ireland or Northern Ireland either. Or the Official IRA, mainly marxist, from the '70s? Or the Provisionals who were the IRA of the peace process.