 The next task is how to utilize this tool to express an existential proposition. If there is at least one woman, say \(K\), in the domain, there is at least one coefficient \(\unary{w}_k\) such that it is 1. Hence, the sum of coefficients of the individuals in the domain is greater than 0. That is, \(\Sigma_{i} w_i &gt; 0\). If nobody is a woman, we will get \(\Sigma_{i} w_i = 0\). In the case of the universal proposition that everybody is a woman, the product of coefficients is 0 as long as one coefficient is 0, that is, there is one person who is not a woman. That is, \(\Pi_{i} w_i = 0\). When everybody is a woman, \(\Pi _{i} w_i = 1\).