That is the grammars new language L union M. The argument that the class of context free language is disclosed under concatenation starts the same way with grammars G and H for the languages L and M. These grammars are assumed to have no variables in common and to have the start symbols be S1 and S2 respectively. 