An example from Europe is the implementation of border controls on travel between Svalbard, which maintains a policy of free migration as a result of the Svalbard Treaty and the Schengen Area, which includes the rest of Norway. Other examples of effective internal border controls in Europe include the closed cities of certain CIS members, areas of Turkmenistan that require special permits to enter, restrictions on travel to the Gorno-Badakhshan Autonomous Region in Tajikistan, and (depending on whether Northern and Southern Cyprus are considered separate countries) the Cypriot border. Similarly, Iraq's Kurdistan region maintains a separate and more liberal visa and customs area from the rest of the country, even allowing visa free entry for Israelis whilst the rest of the country bans them from entering.