the conjugate of
sqare_root(2)-square_root(3) is:
square_root(2)+square_root(3).

But can it be:
-sqare_root(2)-square_root(3)?