recursive definition for equality