      \fitem{projection}{(nim, p:numeric)} extracts the \code{p}th
      component of a vectorial nim. See \acode{aggregate}.


      %%% -------------------------------------------------------

