$3\mathrm{.}5($Switch$-$case$).$ Define a switch statement that runs the statement ${}_i$ if formula

$P_i$ is true, and chooses nondeterministically if multiple conditions are true:

switch $($

case $P_1$:${}_1$

case $P_2$:${}_2$

vdots

case $P_n$:${}_n$

$)$

What would need to be changed to make sure only the statement ${}_i$ with the first

true condition $P_i$ executes?