CWW offers a unique capability—the capability to precisiate natural language. Unprecisiated (raw) natural language cannot be computed with. A key concept which underlies precisiation of meaning is that of the meaning postulate: A proposition, p, is a restriction on the values which a variable, X—a variable which is implicit in p—is allowed to take. CWW has an important ramification for mathematics. Addition of the formalism of CWW to mathematics empowers mathematics to construct mathematical solutions of computational problems which are stated in a natural language. Traditional mathematics does not have this capability.