Contingent propositions of the form 'a is F' are true in virtue of being true in the best possible w...