| Modality | Meaning |
|---|---|
| E | Some path (i.e., there Exists a path) |
| A | All paths |
| X | NeXt state (i.e., immediate future) |
| F | Some state either in the present or in the Future |
| G | All states in the present and in the future (Global) |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.