added statements showing that the algorithm for 3-1 is correct.