The counterfactual token would have truth-conditions grounded in the world (e.g., a token predicating eloquence of Clinton would be true iff Clinton is eloquent).

A concern for the type view is whether there will be “missing propositions” — truths or falsehoods which have never been entertained. One drawn to the type view may allow for the existence of uninstantiated types to account for the existence of these propositions. However, given that propositions are claimed to derive their representational features from their tokens, such uninstantiated types would lack representational features, and so lack truth-conditions. Hanks suggests dealing with such