They killed many civilians, let's not underestimate that, but by and large the IRA tactic was not to deliberately kill civilians - although many civilians, I hasten to add, were killed by the IRA.