Redirecting to Fourier–Motzkin elimination