de::= 2::= 7::= S::= = !::= ::= Q::= = = = =