Let f x y z x