 To conclude this section we point out three axioms that are valid for the material conditional but which fail in the extensions of CK mentioned earlier, even in the strong logics C2 and VC of Stalnaker and  Lewis.[3]  These principles concern the interaction of conditionals with disjunction and conjunction. They are: