Another recent development consists in the completion of the understanding of a homomorphism inequality problem, the description of formula_27, which is the region of feasible edge density, triangle density pairs in a graphon:formula_29Observation 1.