NANVL(m, n)