 Thus (setting aside tense), “John is smoking” is true iff some realization (i.e., temporal stage) of John is engaged in smoking. The predicate can also be applied to kinds, as in “students are smoking”: