Text this: Lower bounds on the complexity of mixed-integer programs for stable set and knapsack.