\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
A student begins their investigation by writing: "Let \(\mu\) be the average height of the plants. We set \(H_0: \mu = 15\) and \(H_1: \mu > 15\)."
Which step of the 5-step procedure is this?