Def f xy z x