; f n _ - vaite _ - vaite i)