Properties of equality and simplification