Formulate the following sentences using (nested) quantified statements. In each part, you need to specify appropriate domain for any variable participating in the statements. Using the DeMorgans law, negate the quantified statements obtained.

(a) The product of any two negative integers is greater than their summation.

(b) For any given positive number, there is another positive number greater than it and another positive number less than it.