 To construct the Ramsey-sentence of this “theory”, the first step is to conjoin these generalizations, then replace all names of different types of mental states with different variables, and then existentially quantify those variables, as follows: