A principle in the logic of knowledge that has found general favour. It states that if S knows that p, and knows that p entails q, then S knows that q. Knowledge is preserved over known entailment. The principle was challenged by Robert Nozick, relying on some odd features of the logic of counterfactual conditionals, but the challenge is not generally thought successful.