Of the 5 colors in an IP4000 and IP4200 3 of the 5 colors are different between these printers. Any kit that satisfies both in one product is a compromise and a semi-universal kit. Canon printers have the widest range of different color inks and many vendors do not like this wide range and will compromise. Check my website and determine the differences in formulations.
http://home.eol.ca/~mikling/Canon inks2.html
http://home.eol.ca/~mikling/Canon3.html
http://home.eol.ca/~mikling/Canon inks2.html
http://home.eol.ca/~mikling/Canon3.html