Which statement correctly explains the aspect “Defining taḥḍīḍ” in the example “هَلَّا تَجْتَهِدُ”?

Inshāʾ and Tamannī: Requests, Wishing, Exhortation, and Reproach

• Defining taḥḍīḍ — Why do you not strive? Do strive!
• Transition to interrogation — Questioning in order to ascertain a meaning.
• The five requesting forms — Wishing, questioning, command, prohibition and calling.
• Tamannī contrasted with tarajjī — Perhaps the absent person will return.