The result, denoted , is shown in (d).
crucially, D a only depends on the algebra and a itself, and not on G or h, because D contains all terms that evaluate to a and not just those that are licensed by the grammar.