“…The approach developed over the years to identify these cancellations in critical systems is based on the ideas of Wilsonian RG. More specifically, the constructive RG approach used in the proofs of Theorems 2.1 to 3.2 is the one developed by Benfatto, Gallavotti, Mastropietro and coworkers [16,17,19] and reviewed in, e.g., [43,75]; see also the more recent works [6], [48], and [47], which review and provide a pedagogical introduction to this method in the specific contexts of non-planar Ising models, interacting dimer models, and fermionic φ 4 d theories with long range interactions, respectively. At a very coarse level, the idea is to compute (4.2) recursively, first integrating out the degrees of freedom at length scales ℓ 0 2 −N ≃ a (here ℓ 0 is the length unit and −N = ⌊log 2 (a/ℓ 0 )⌋), then those at length scales ℓ 0 2 −N +1 , ℓ 0 2 −N +2 , .…”