1984d, "To be is to be the value of a variable (or some values of some variables)," "Journal of Philosophy 81": 430-450.