 This is effectively a conditional expected utility formula for evaluating \(p\). As noted, a special case is when the content of \(p\) is such that it is recognisably something the agent can choose to make true, i.e., an act.