include working documentation; mixintprog