The MathResource
artificial variable,
see slack variable.