. . "For instance, _a + _b is a valid C++ fragment because _a and _b are declared C++ variables provided by Phoenix, but not a valid program in the EDSL because _a and _b are left unbound." . .