a + c = b
a *       a =       b
a + d > a
a * x = d
b * b =             a
a & a = b