Electric-charge quantization in the standard model

The logic of the construction of the standard model (with the usual minimal set of chiral fermions) as a consistent renormalizable theory necessarily leads to the quantization of electric charge and the absence of massless charged fermions, as well as the automatic cancellation of an anomaly in the divergence of the weak hypercharge current that could arise should a coupling to gravity be contemplated.