“…Hence, a further mass renormalization of V (φ) is required, which results in a measure µ that is mutually singular with respect to the freefield Gaussian measure P. The mathematically rigorous construction of the Euclidean φ 4 3 theory, first achieved in the seminal work of Glimm and Jaffe [38], is one of the major successes of the constructive field theory programme started in the sixties. By now, several different constructions of this theory have been developed, based on, first, phase cell expansions [24,38,39,59], then on renormalization group methods [5,13,34], later on correlation inequalities [14], and, most recently, on paracontrolled calculus [19,40], as well as variational methods [4].…”