As O'Raifeartaigh argued in reconstructing gauge history, the gauge principle is a formal symmetry r...