Note that, for our setting, since \(f_0\)  is constant, we can combine the two monotonicity constraints: it is sufficient that \(f_1\)  is non-increasing in \(z\) . Furthermore, we restate an important property of the BCN model shown in [1]} with some notation adapted to our setting:
