“…However, for a proof we have to deal with the fact that, for instance, in model (iii) R should be non-monotone relative to whatever summary variable even when its domain is restricted to the realisable values of S and in addition to an infinitesimal neighborhood of those combinations of (α,β) andŜ(α, β) for which R(α,β|Ŝ(α, β)) = 1. The necessary technicalities can be found in [8,Appendix A]. For the present exposition it suffices to note that in cases (iii) and (iv) the directions dα/dβ in (α 0 , β 0 ) of the contour lines {(α, β)|R(α, β|S(α 0 , β 0 ), I(α 0 , β 0 )) = 1} and {(α, β)|R(α 0 , β 0 )|S(α, β), I(α, β)) = 1}, which can be determined by implicit differentiation, are generically different.…”