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

1 1
a ~ -1
2 = TIMES(a, a)