1Here, x,y,z may be arbitrary expressions, not just identifiers.