Necessary truths like mathematical facts obtain in all possible worlds by virtue of the logical stru...