 This formula looks a lot like the law of total probability (§1.2.1), but there’s a crucial difference. The weights in this weighted average are not \(p(E)\) and \(p(\neg E)\). They are instead \(p'(E)\) and \(p'(\neg E)\). They are the updated, already-discounted probabilities Y assigns to X’s report and its negation.