Roughly speaking, the conjecture states that for any bipartite graph formula_1 and graph formula_2 on formula_3 vertices with average degree formula_4, there are at least formula_5 labeled copies of formula_1 in formula_2, up to a small error term.