sketch in notes on halfspace formulation