 A further issue arising in first-order temporal logic relates to the interpretation of individual terms. Depending on what kind of terms we are dealing with, we may or may not want to allow their interpretation to vary with time.