The goal of this post is to highlight a feature of the Bayesian Persuasion problem that seems useful but as far as I can tell not explicitly stated anywhere.
Let be the finite set of states and
the finite set of actions the receiver can take. Elements of each are denoted by
and
, respectively.
The value to the receiver