[New Definition of Definition Equal]
[Code Listing]