 Again, there are several attempts to resolve this problem. One possible strategy is to deny that sentences like (1) and (2) really have the logical structure of predications. One might suggest the following alternative interpretations, using “\(P\)” (read: “It has been the case”) and “\(F\)” (read: “It will be the case”) as “tense operators”: