The objection, presented in Cresswell (2002) against structured propositions and suggested by Stalnaker (1996) against impossible worlds, can be illustrated by focusing on the meaning of negation. Given a statement \(A\), what truth-conditions can we offer for \({\sim}A\)? Plausibly, the truth conditions can be exhausted by specifying that \({\sim}A\) is true when \(A\) is false, and not otherwise. Since this exhausts the meaning of “\({\sim}\)”, it is tempting to identify the proposition \({\si