Frege's notion of sense is somewhat obscure, and neo-Fregeans have come up with different candidates for its role.[10] Accounts based on the work of Carnap[11] and Church[12] treat sense as an intension, or a function from possible worlds to extensions. For example, the intension of ‘number of planets’ is a function that maps any possible world to the number of planets in that world.