Article 2 Name changes
Each of the names specified in paragraph (2) is to be treated as another name for Revolutionary Peoples’ Liberation Party-Front (Devrimci Halk Kurtulus Partisi-Cephesi) (DHKP-C).
Those names are—
Revolutionary People’s Liberation Party-Front (Devrimci Halk Kurtulus Partisi-Cephesi) (DHKP-C);
Revolutionary People’s Liberation Front (Devrimci Halk Kurtulus Cephesi) (DHKC);
Revolutionary People’s Liberation Party (Devrimci Halk Kurtulus Partisi) (DHKP), and
Revolutionary People’s Liberation Front/Armed Propaganda Units (Devrimci Halk Kurtulus Cephesi/Silahli Propaganda Birlikleri) (DHKC/SPB).
Each of the names specified in paragraph (4) is to be treated as another name for Islamic State of Iraq and the Levant (Islamic State of Iraq and al-Sham) (Dawat al Islamiya fi Iraq wa al Sham (DAISh)).
Those names are—
Jaysh Khalid Bin Walid (JKbW) (JKW);
Jaysh Khalid bin al-Walid (KBW), and
Khalid ibn-Walid Army (KBWA).