 Lewis  (1983)  presents the following account of the first stage: for \(C\) and \(V\) to be, respectively, the prior credence and value function of a certain agent \(a\) is for \(C\) to be a function from properties to real numbers in the unit interval, and \(V\) to be a function from maximally specific properties to real numbers, which together achieve an optimal balance of fit—being such that \(a\) is disposed, given evidence \(E\), to perform some action with a maximal expected value of \(V\) in \(C(\bullet\mid E)\)—and certain other desiderata. One of these other desiderata (and the only one Lewis mentions) is eligibility: “the properties the subject supposedly believes or desires or intends himself to have” should not be too severely unnatural (1992: 375). A difficulty with this formulation is that it is not obvious how to extract “the properties the subject supposedly believes or desires or intends himself to have” from a given \(C\) and \(V\). After all, any \(C\) that obeys the axioms of the probability calculus will have to assign values close to 1 to properties expressed by arbitrarily long formulae (Dorr and Hawthorne  2013,  28; Schwarz  2014,  25). Also, insofar as “fit” is just a matter of the subject’s behavioural dispositions, the account requires revision in the light of the anti-behaviourist views expressed in Lewis’s other writings on the philosophy of mind, for example Lewis  1980.[51] 