Finite-energy property of Bernoulli percolation
= Finite-energy property of Bernoulli percolation
For $0<p<1$, prescribing any finite collection of Bernoulli percolation sites or <edges> has positive <conditional probability> given all states outside that collection.