566 					  &&&& & & & & $)$ &\\

   566 					  &&&& & & & & $)$ &\\

   567 					  &&&& & &  $)$ & & &\\

   567 					  &&&& & &  $)$ & & &\\

   568 					  &&&& & $)$ & & & &\\

   568 					  &&&& & $)$ & & & &\\

   569 	\end{tabular}

   569 	\end{tabular}

   570 \end{center}

   570 \end{center}

   571 We define for the $r^{\{n\}}$ constructor something similar to $\starupdate$

   573 We define for the $r^{\{n\}}$ constructor something similar to $\starupdate$

   572 and $\starupdates$:

   574 and $\starupdates$:

   573 \begin{center}

   575 \begin{center}

   574 	\begin{tabular}{lcl}

   576 	\begin{tabular}{lcl}

   575 		$\starupdate \; c \; r \; [] $ & $\dn$ & $[]$\\

   577 		$\starupdate \; c \; r \; [] $ & $\dn$ & $[]$\\