“…Under some symmetry conditions on T , Russo-Seymour-Welsh theory ensures that at criticality, the probability of C δ (Ω, A, B, C, D) is bounded away from both 0 and 1 as δ goes to 0. Its limit was conjectured by Cardy (see [6]) using non-rigorous arguments from conformal field theory; actual convergence was proved, in the case of the triangular lattice (embedded in such a way that its faces are equilateral triangles), by Smirnov (see [15,3]). We defer the statement of the convergence to a later time.…”