Mention that we use Z-polyhedra