He was renowned for his rigorous proof of the CPT theorem with Gerhart Lüders;[3] his pioneering systematization of effective chiral Lagrangians;[4] the discoveries, with Julius Wess, of the Wess–Zumino model,[5] the first four-dimensional supersymmetric quantum field theory with Bose-Fermi degeneracy, and initiator of the field of supersymmetric radiative restrictions; a concise formulation of supergravity;[6] and for his deciphering of structured flavor-chiral anomalies, codified in the Wess–Zumino–Witten model of conformal field theory.[7]