Remove the unnecessary pp from TICKN

docs/formal-spec/chain.tex

@@ -135,18 +135,16 @@ \subsection{$\mathsf{TICKN}$ Transition}
 
 The Tick Nonce Transition ($\mathsf{TICKN}$) is responsible for updating the epoch nonce and the
 previous epoch's hash nonce at the start of an epoch. Its environment is shown in
-Figure~\ref{fig:ts-types:ticknonce} and consists of the protocol parameters
-$\var{pp}$, the candidate nonce $\eta_c$ and the previous epoch's last block
-header hash as a nonce. Its state consists of the epoch nonce $\eta_0$ and
-the previous epoch's last block header hash nonce $\eta_h$.
+Figure~\ref{fig:ts-types:ticknonce} and consists of the candidate nonce $\eta_c$
+and the previous epoch's last block header hash as a nonce $\eta_\var{ph}$.
+Its state consists of the epoch nonce $\eta_0$ and the previous epoch's last block header hash nonce $\eta_h$.
 
 \begin{figure}
   \emph{Tick Nonce environments}
   \begin{equation*}
     \TickNonceEnv =
     \left(
       \begin{array}{r@{~\in~}lr}
-        \var{pp} & \PParams & \text{protocol parameters} \\
         \eta_c & \Nonce & \text{candidate nonce} \\
         \eta_\var{ph} & \Nonce & \text{previous header hash as nonce} \\
       \end{array}
@@ -178,7 +176,6 @@ \subsection{$\mathsf{TICKN}$ Transition}
    { }
    {
      {\begin{array}{c}
-        \var{pp} \\
         \eta_c \\
         \eta_\var{ph} \\
       \end{array}}
@@ -202,7 +199,6 @@ \subsection{$\mathsf{TICKN}$ Transition}
    {}
    {
      {\begin{array}{c}
-        \var{pp} \\
         \eta_c \\
         \eta_\var{ph} \\
       \end{array}}
@@ -898,7 +894,6 @@ \subsection{$\mathsf{CHAINHEAD}$ Transition}
         \var{bh}\\~\\
       {
         {\begin{array}{c}
-        \var{pp} \\
         \eta_c \\
         \eta_\var{ph} \\
         \end{array}}