ProgFun: objsets: passed
ProgFun: patmat: first attempt