symmetric equals assertion