A::= 3 B::=5 C::=2A+B B=A