§3, p. 5, example after (8) — the instance's cost is outcome monotonic and satisfies standing assumption (i)

In the three-value instance of §3 ($x\in\{1,2,3\}$ with $P(y=1\mid x)=(1.0,0.7,0.4)$ and the cost matrix of p. 5), the cost $c$ is outcome monotonic: $c(x,x)=0$; for pairwise distinct $i,j,k$,

and for $i\ne j$, $P(y=1\mid x_i)>P(y=1\mid x_j)\iff c(x_i,x_j)=0$. Moreover it satisfies standing assumption (i): $c(x_i,x_j)>0$ whenever $i\ne j$ and $P(y\mid x_j)\ge P(y\mid x_i)$.

This is the hypothesis "even under outcome monotonic costs" under which the example is posed, and it confirms that the instance belongs to the paper's model.