actual correct binary operator matching