I separate the concept all from the truth-function. Frege and Russell have introduced generality in connexion with the logical product or the logical sum. Then it would be difficult to understand the propositions “(∃x) . fx” and “(x) . fx” in which both ideas lie concealed.