Is it ISIS, as originally dubbed, ISIL or IS?
Let’s just pick one and stick to it.
The guy who said “It depends on what the meaning of ‘is’ is” was ahead of his time.