IntegralElimination
