Provisional IRA in 1972