In recent work, Peter Hanks and Scott Soames argue for the type view, according to which propositions are types whose tokens are acts, states, or events. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren't satisfactory.