Thus, the difference between (TC1 g) and (TC1 s) illustrates a difference between what we might call grabby truth conditions and what we might call searchy truth conditions for sentences combining names with modal operators. It[…]