It seems strange that we should apparently be able to know some truths in advance about particular things of which we have as yet no experience; but it cannot easily be doubted that logic and arithmetic will apply to such things.