 In AKV, Lewis distinguished three classes of empirical statements. First, there are expressive statements formulating what is presently given in experience and about the truth of which we can be certain (Lewis 1946, 171–71, 183, 204, 327). Second, there are terminating judgements and statements formulating and predicting what we would experience were we to be presented with some sensory cue and perform some action. The form of terminating judgements is: 