1 1
a ~ 2
a = PLUS(1, 1)

1 1
a ~ 0
a = PLUS(1, 1)