Massive, unitary, renormalizable Yang-Mills theory without Higgs bosons

We present a variant of the Stueckelberg formalism for Yang-Mills theory where the Stueckelberg scalar field is eliminated in favor of the gauge potential. Normally this leads to nonpolynomial interactions. However, we point out that it is possible to pick a gauge where the nonpolynomiality disappears and the resulting theory is power-counting renormalizable and unitary. This procedure allows one to construct an electroweak model without the Higgs boson.