he discrete Widom-Rowlinson model on ${{\mathbb{Z}}}^d$ with exclusion radius $r$ admits two distinct Gibbs measures, $\mu^+$ and $\mu^-$.  0.  The measures $\mu^{+}$ and $\mu^-$ can be obtained as the local limits $$\mu^{+}= \lim_{n \rightarrow +\infty} \mu