Xnli.a^i * nj : i,