Temporal Modality
Subsections
Definition