Polyhedral reformulations work