determines a number will then be a statement about the form of the formula and now we must distinguish such a proposition as The formula which I have written down determines or Here is a formula which determines from one of the following kind