tokens: Before defining the language with this new operator , we are going to give an example introduced by Lewis that illustrates the difference between the notions of general knowledge and common knowledge .