Domain Markov property of a percolation exploration
= Domain Markov property of a percolation exploration
Conditioned on the sites revealed by an exploration interface, every unrevealed site retains its <independent> Bernoulli law. The explored boundary supplies boundary conditions for subsequent crossing events.