  We prove exponential convergence to equilibrium for the Fredrikson-Andersen
one spin facilitated model on bounded degree graphs satisfying a
subexponential, but larger than polynomial, growth condition. This was a
classical conjecture related to non-attractive spin systems. Our proof rely on
coupling techniques based on Harris graphical construction for interacting
particle systems.
