elimination of variables