1: \begin{definition}\label{df:quadrant-IRF} Assuming the weights \eqref{eq:stoch-weights} are nonnegative, we define the \emph{stochastic IRF model in the quadrant} as a probability measure on plaquette configurations in the quadrant $\R_{\ge 0}^2$ (the centers of the plaquettes, which are the inner vertices for the corresponding paths, range over $\Z_{\ge 1}^2$) defined in the Markovian way as described above, with no paths entering from the bottom into the vertices of the bottom row $\Z_{\ge 1}\times \{1\}$, and a single path entering from the left into each vertex of the leftmost column $\{1\}\times \Z_{\ge 1}$. 

2: 

3: The filling of the bottom-left unit box $[0,1]^2$ must also be specified, and denoting it by $\la^{(0)}$ we read from the boundary conditions on paths that the fillings of the unit boxes $[k,k+1]\times[0,1]$ in the bottom row are $(\la^{(0)}-2\eta\La_{[1,k]})$, while the fillings of the unit boxes $[0,1]\times [k,k+1]$ in the leftmost column are $(\la^{(0)}-2\eta k)$ for any $k\ge 0$. 

4: 

5: Assuming, in addition, that for some $k\ge 1$ the probability of configurations with paths that have segments of infinite length in rows $1,\dots,k$ is zero, and using the notation $(i_1,k+\frac 12),(i_2,k+\frac 12),\dots (i_k,k+\frac 12)$ with $i_1\ge i_2\ge\dots i_k\ge 1$ for the $k$ (random) intersection points of the paths with the horizontal line of coordinate $k+\frac 12$, we conclude from Theorem \ref{th:B-stoch} that

6: \begin{equation}\label{eq:prob=B-stoch}

7: \Prob\{\ka=(i_1,\dots,i_k)\}=\Bstoch_\ka(\la^{(0)}-2\eta(k-\La_0);w_1,\dots,w_k),

8: \end{equation}

9: where the first argument of the $\Bstoch_\ka$ in the right-hand side is chosen so that the filling of the unit box $[0,1]\times[k,k+1]$ is $(\la-2\eta\La_0)$, as required by Theorem \ref{th:B-stoch}.

10: \end{definition}

11: