Fix potential typo in hole rule?

Does the number of arguments need to be the same as the number of premises? If so this PR can be deleted otherwise, it fixes this typo.

spec/rule_list.tex

@@ -284,7 +284,7 @@ $i$. & \ctxsep & $\varphi$ & \currule \\
 \begin{RuleDescription}{hole}
 
 \begin{AletheX}
-$i$. & \ctxsep & $\varphi$  & $(\currule\; p_1, \dots, p_n)\, [a_1, \dots, a_n]$ \\
+$i$. & \ctxsep & $\varphi$  & $(\currule\; p_2, \dots, p_n)\, [a_1, \dots, a_m]$ \\
 \end{AletheX}
 where $\varphi$ is any well-formed formula.