As it is often the case when investigating the critical behaviour of lattice models, we will need to use crossing estimates in rectangles and more generally in quads, as well as estimates on certain universal and non-universal critical exponents. Such crossing estimates initially emerged in the study of Bernoulli percolation in the late seventies under the coined name of Russo-Seymour-Welsh theory [1]}, [2]}.
