Since it doesn't make sense to specialize the rules for only plus and minus, all binary ops tend to ...
j
Since it doesn't make sense to specialize the rules for only plus and minus, all binary ops tend to be recommended at the end