[rjain-utils-cvs] CVS formulate/examples