Workers' Party of Korea
No obstante, el término sería mencionado oficialmente por primera vez el 28 de diciembre de 1955 por Kim Il-sung en un discurso titulado "Acerca del establecimiento de la autoconfianza y la erradicación del dogmatismo y formalismo en los proyectos ideológicos" en el contexto de un congreso del Partido del Trabajo de Corea.