do not redefine operator <>