Another notion Searle and Vanderveken use is that of an 'illocutionary negation'. The difference of such an 'illocutionary negation' to a 'propositional negation' can be explained by reference to the difference between "I do not promise to come" and "I promise not to come". The first is an illocutionary negation—the 'not' negates the promise.