^g(x) ::= x x