The operation of introducing slack variables as an "extended formulation". Reformulating problems with free variables to obtain a problem in standard form, viewed as another extended formulation. Proof that every basic feasible solution is an extreme point of the feasible region. notes-2020-10-21.pdf