BOp eq is reflexive.
BOp equality in place.