Green for All

Green for All is an organization whose stated goal is to build a green economy while simultaneously lifting citizens out of poverty. Green for All was co-founded by Van Jones, former head of the Ella Baker Center for Human Rights and Majora Carter former head of Sustainable South Bronx, and was officially launched in September 2007 at the Clinton Global Initiative.

The United Steelworkers (USW), the Sierra Club, the Natural Resources Defense Council (NRDC), Green for All and the Blue Green Alliance, a partnership of the USW and Sierra Club, have launched the national Green Jobs for America campaign.

History

Green for All was co-founded by Van Jones and Majora Carter after the two had become increasingly concerned with issues of poverty and crime, as well as the lack of a solid infrastructure for "green" jobs. Rather than approach each issue separately, Jones decided to combine the two in a more unified vision and business model. The organization launched in September 2007 at the Clinton Global Initiative, when Jones appeared to announce Green for All's commitment to securing one billion dollars by 2012 to create "green pathways out of poverty" for 250,000 people in the United States. Jones also added that the Ella Baker Center would continue to run a "Green-Collar Jobs Campaign" regionally and statewide in California.

Universal quantification

In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a propositional function can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("∀x", "∀(x)", or sometimes by "(x)" alone). Universal quantification is distinct from existential quantification ("there exists"), which asserts that the property or relation holds only for at least one member of the domain.

Quantification in general is covered in the article on quantification (logic). Symbols are encoded U+2200 ∀ FOR ALL (HTML ∀ · ∀ · as a mathematical symbol).