 The idea behind this principle is that if p entails q, then should q turn out to be true then things are as p says they are, and so we can hardly use q as evidence against p. We return to Entailment below, but first we show how these three principles are in conflict with CP.