Sokal's conjecture. The Hadamard product M(x)∗M(y)M(\mathbf{x})*M(\mathbf{y})M(x)∗M(y) is totally monomial positive; equivalently, every minor