 And yet Lewis’s positive theory here is somewhat revisionary. It doesn’t revise the truth value of any mathematical claim, but it does revise the understanding of them. Is even this too much revision to make on philosophical grounds? Perhaps not, but it is worrying enough for Lewis to conclude merely that the theory he proposes seems better than the alternatives, not that there is a compelling positive case for its truth.