Playing with n(2); see http://www.math.osu.edu/~friedman.8/pdf/finiteseq10_8_98.pdf