Equations or Properties of Equality