We examine whether several challenges for transparent evaluation theories of de re can be accounted for by a single mechanism of propositional substitution. We provide necessary conditions for replacing the prejacent of an attitude with another salient proposition, and review some merits and weaknesses of this approach.