Using Properties of Equality