In this case, instead of colouring morphisms, one can think of colouring "copies" of formula_3 in formula_86, and then finding a copy of formula_78 in formula_86, such that all copies of formula_3 in this copy of formula_78 are monochromatic.