F x y z x yz