**Core Concept**
The question is testing the student's knowledge of non-habit forming sedatives, which are essential in managing anxiety and insomnia. These medications act on the GABAergic system to produce their sedative effects.

**Why the Correct Answer is Right**
The correct answer is **Midazolam**. Midazolam is a short-acting benzodiazepine that is effective in producing sedation without leading to physical dependence or withdrawal symptoms. It acts by binding to the GABA_A receptor, enhancing the effect of GABA (inhibitory neurotransmitter) and resulting in sedation, anxiolysis, and muscle relaxation.

**Why Each Wrong Option is Incorrect**
**Option A:** **Diazepam** - While diazepam is a widely used benzodiazepine, it has a higher potential for dependence and withdrawal symptoms compared to midazolam.
**Option B:** **Propofol** - Propofol is a short-acting sedative-hypnotic agent but can cause respiratory depression and is not typically classified as a non-habit forming agent.
**Option C:** **Lorazepam** - Lorazepam is a benzodiazepine with a medium duration of action and moderate risk of dependence.

**Clinical Pearl / High-Yield Fact**
When choosing a non-habit forming sedative, consider the patient's medical history, potential for dependence, and the need for rapid onset and offset of action. Midazolam's unique pharmacokinetics make it an ideal choice for procedural sedation.

**Correct Answer:** C. Lorazepam