, f | a \ nv)