Given an augmented matrix in REF (or RREF), each column except the last column corresponds to a variable. These come in two types:

• leading variables are variables whose column contains the leading entry of some row;
• free variables are all the other variables.