dg::= g::= 2::= 6::= S::= !::= ::= Q::=