Soames's identification of propositions with event types is compatible with event types being primit...