 King claims that his account has several significant  virtues.[16]  First, on his account it is hard to deny that propositions exist given fairly minimal assumptions; and there is no mystery about what they are. Second, his theory is naturalized, in the sense that it is something we do that endows propositions with truth conditions. Third, and related to the previous point, we can give some explanation as to how and why propositions have truth  conditions.[17]  On the proposed explanation the representational powers of sentences and their users are explanatorily prior to those of propositions.