Exchanging "+" and "−" in the expression, i. What give criterion for abstract properties?