A symbol X is called to be useful if and only if its is:

• A. generating
• B. reachable
• C. both generating and reachable
• D. none of the mentioned