"The end of Operation Banner will inevitably mean the disbandment of the Home Service element of the Royal Irish Regiment." Even though the IRA has not carried out the acts of completion demanded ...