2 2
a ~ 0
b ~ 0
b = TIMES(a, a)
a = PLUS(2, b)

3 3
a ~ 0
b ~ 0
c ~ 0
b = TIMES(a, a)
c = TIMES(a, a)
b = PLUS(1, c)

2 2
a ~ 0
b ~ 0
a = PLUS(b, 3)
a = TIMES(2, b)