inputs: hypothesis: Ho Chi Minh City is now called Saigon. premise: North Korean refugees had been gathering in southern Ho Chi Minh City, formerly Saigon, after trickling over the border from China for months.