This is related to the elimination scheme of Williams and Williams-Hooker, who describe projections of integer sets using disjunctions of affine Chvátal systems. We show that disjunctions are ...