Added HotCARTA.equal