We consider level sets of the Gaussian free field on the
$d$-dimensional lattice, for $d>2$, above a given real-valued
height $h$. This defines a percolation model with strong,
algebraically decaying correlations. We prove a conjecture of
Lebowitz...
