 For example, “It will always be the case that Prior invented Tense Logic” translates in TL as \(GP(\mathsf{Prior\ invents\ TL})\) and has the formal reading “It will always be the case that it has at some time been the case that Prior invents Tense Logic”.