 Yet behind this seemingly impeccable piece of reasoning lurks a serious difficulty. As we saw, it is part of the example that we are supposed to know also that Jane reports that Tweety is a bird, that Carl reports that Tweety cannot fly and that Rick reports that Tweety is a penguin. Let: