 To begin with, Kripke claims that whatever fact makes it the case that a speaker means addition by ‘+’ must single out the addition function, as opposed to the quaddition function, as what is meant. It follows from this that the putative meaning-constituting fact must account for the conditions of correct application of ‘+’. In other words, the fact in which my meaning addition by ‘+’ consists must single out ‘4’ as the correct response to ‘\(2 + 2\)’, ‘110’ as the correct response to ‘\(55 + 55\)’, ‘125’ as the correct response to the query ‘\(68 + 57\)’, and so on. Meaning facts render the applications of expressions correct or incorrect, and so a fact cannot count as a meaning-constituting fact unless it does this. This is an uncontroversial claim, which most philosophers accept. As Simon Blackburn notes, this 