--> `sign(a)`
--> `sign(b)`