Synthesized Attribute In Math