added a comment
tweaked unix.cp
tweaked setdiff utility