alg: add example 19.5-5
cls: basic \Set command
alg: 19.6 finished
alg: cope with duplicate labels