Add some work looking at fourier motzkin