g_k :{\bf N}^k \to {\bf R}