 The first path, as Chisholm notes, leads to contradiction via \(\OB\)-K, MP and NC. The second and third paths take a different route, interpreting the conditionals in (2) and (3) uniformly. However, for the second path, the symbolization of (3) follows from that of (1), and for the third path, the symbolization of (2) follows from that of (4). Each SDL symbolization of the original violates one of our desiderata: either mutual consistency or joint independence.