Binary operators and connective rules