Fourier-Motzkin Elimination