Which statement correctly distinguishes khafi from mushkal?

Khafi, Mushkal, Mujmal and Mutashabih: Degrees of Obscurity

• Khafi demands speaker explanation; mushkal cannot be known at all
• Khafi concerns special application; mushkal concerns interpreting the word’s usage itself
• Khafi is always meaningless and mushkal always fully clear
• There is no technical difference between them