mnli premise: These things are in such short supply in North Korea that they have to be smuggled in in the stomachs of South Korean cows. hypothesis: These things have to be smuggled in the stomachs of South Korean cows, but it will change soon.