Def f n