Elimination of variables