I mean see also the Democratic People's Republic of Korea. You can't really take what groups call themselves too seriously.