  In this paper, we consider a generalization of percolation: percolation of
three related fluids on a honeycomb lattice. K. Izyurov and A. Magazinov proved
that percolations of distinct fluids between opposite sides on a fixed hexagon
become mutually independent as the lattice step tends to 0. This paper exposes
this proof in details (with minor simplifications) for nonspecialists. In
addition, we state a few related conjectures based on numerical experiments.
