 The Jankov logic \(\mathbf{KC},\) which adds to \(\mathbf{IPC}\) the principle of testability \(\neg A \vee \neg \neg A,\) obviously does not have the disjunction property. The Kreisel-Putnam logic \(\mathbf{KP},\) obtained by adding to \(\mathbf{IPC}\) the schema \((\neg A \rightarrow (B \vee C)) \rightarrow((\neg A \rightarrow B) \vee (\neg A \rightarrow C)),\) has the disjunction property but does not satisfy all the Visser rules. The intermediate logic obtained by adding the schema