A Augmented Matrix in REF form with the extra condition that: The entries in the column above the leading one are all 0.