 are the constituents of \(x_1 , \ldots ,x_j\). There are \(2^j\) different constituents for \(j\) symbols—the regions of a Venn diagram give a popular way to visualize constituents. It will be convenient to say an equation of the form 