Variables like Z and k are introduced by presuppositions and are supposed to be bound by Z and k respectively.
conditions on them are not negated: This leads to the following SIs: All conditions considered, we get (47a) as a SI, but intuitively it is not plausible.