Properties of expressions and equations