Do they want a Butlerian Jihad? Because that's how you get a Butlerian Jihad.
Just call it Skynet. Then at least we can think about pithy Arnold one-liners.