documented == and !=