Keyword: fourier-motzkin