Divinity D1 (Cho and Sobel, 1991) - upon observing the sender's out-of-equilibrium action, the receiver must assign 0 beliefs to a sender type if there is another type that gains compared to its eqm payoff for a larger set of sequentially rational receiver responses