\    x v Z     x v Z