  We investigate how to model the beliefs of an agent who becomes more aware.
We use the framework of Halpern and Rego (2013) by adding probability, and
define a notion of a model transition that describes constraints on how, if an
agent becomes aware of a new formula $\phi$ in state $s$ of a model $M$, she
transitions to state $s^*$ in a model $M^*$. We then discuss how such a model
can be applied to information disclosure.
