“…The calculation of the two-point function only requires the second derivative in (2.24), and therefore only needs the dependence on the observables to second order. As in [4,14,33], we formalise this simplification via use of a quotient space, in which two functions of ϕ, σ x , σ y become equivalent if their formal power series in the observable fields agree to order 1, σ x , σ y , σ x σ y . Thus we define N to consist of C 16 functions of ϕ of the form…”