 which is true at the time five o’clock 15 November 2021, but false at all other times. The first kind of natural language statements can be formalized in ordinary modal logic, but the second kind cannot.