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